4

Explanation-based generalisation = partial evaluation

Year:
1988
Language:
english
File:
PDF, 600 KB
english, 1988
5

Rippling: A heuristic for guiding inductive proofs

Year:
1993
Language:
english
File:
PDF, 3.11 MB
english, 1993
14

Stream reasoning: A survey and outlook

Year:
2017
Language:
english
File:
PDF, 327 KB
english, 2017
17

A Boxology of Design Patterns forHybrid Learningand Reasoning Systems

Year:
2019
Language:
english
File:
PDF, 3.10 MB
english, 2019
21

Editorial: Evaluating knowledge engineering techniques

Year:
1999
Language:
english
File:
PDF, 184 KB
english, 1999
23

Generating and managing metadata for Web-based information systems

Year:
2004
Language:
english
File:
PDF, 336 KB
english, 2004
30

Expertise-based peer selection in Peer-to-Peer networks

Year:
2008
Language:
english
File:
PDF, 450 KB
english, 2008
32

Preface

Year:
2010
Language:
english
File:
PDF, 120 KB
english, 2010
33

Debugging Incoherent Terminologies

Year:
2007
Language:
english
File:
PDF, 951 KB
english, 2007
38

Applying rule-base anomalies to KADS inference structures

Year:
1997
Language:
english
File:
PDF, 168 KB
english, 1997
46

(ML)2: A formal language for KADS models of expertise

Year:
1992
Language:
english
File:
PDF, 1.95 MB
english, 1992